{
    "tilscript": [
        "`ČR-2`/(((Bool Indiv)Time)World).\n`Ministr-0`/(((Bool Indiv)Time)World).\n`Ostravsko-4`/(((Bool Indiv)Time)World).\nAnytime/(Bool Time).\nP/((Bool (Bool (Bool Time))(Bool Time))Time).\n`Doprava-1`/(((Bool Indiv)Time)World).\nPerf/(((Bool (Bool ((Bool Time) World)))(Bool (Bool ((Bool Time) World))(Bool ((Bool Time) World))))World).\nDoes/(((Bool Indiv (Bool (Bool ((Bool Time) World))))Time)World).\n`Navštívit-3`/(((Bool (Bool ((Bool Time) World))(Bool ((Bool Time) World)))World)Indiv).\nOnc/(((Bool (Bool Time))((Bool Time) World))World).\n[\\w1:World [\\t2:Time [['P t2] [['Onc w1] [\\w3:World [\\t4:Time ['Exist [\\i5:Indiv ['Exist [\\x6:(Bool (Bool ((Bool Time) World))(Bool ((Bool Time) World))) ['Exist [\\i7:Indiv ['And ['And ['And [[['Does w3] t4] i5 [['Perf w3] x6]] [[['`Ostravsko-4` w3] t4] i7]] ['= x6 [['`Navštívit-3`  i7]w3]]] ['And [[['`Ministr-0` w3] t4] i5] ['And [[['`Doprava-1` w3] t4] i5] [[['`ČR-2` w3] t4] i5]]]]]]]]]]]]] 'Anytime ]]]."
    ], 
    "sentence": "Ministr dopravy ČR navštívil Ostravsko.", 
    "html": [
        "&lambda;w<sub>1</sub>&lambda;t<sub>2</sub><span style=\"font-size:180%\">[</span><b>P</b><sub>t<sub>2</sub></sub>,<span style=\"font-size:160%\">[</span><b>Onc</b><sub>w<sub>1</sub></sub>,&lambda;w<sub>3</sub>&lambda;t<sub>4</sub>(&exist; <font color='#FF0000'>i<sub>5</sub></font>)(&exist; <font color='#2B60DE'>x<sub>6</sub></font>)(&exist; <font color='#F6358A'>i<sub>7</sub></font>)<span style=\"font-size:140%\">(</span><span style=\"font-size:120%\">[</span><b>Does</b><sub>w<sub>3</sub>t<sub>4</sub></sub>,<font color='#FF0000'>i<sub>5</sub></font>,[<b>Perf</b><sub>w<sub>3</sub></sub>,<font color='#2B60DE'>x<sub>6</sub></font>]<span style=\"font-size:120%\">]</span> &and; [<b>Ostravsko</b><sub>w<sub>3</sub>t<sub>4</sub></sub>,<font color='#F6358A'>i<sub>7</sub></font>] &and; <font color='#2B60DE'>x<sub>6</sub></font>=[<b>navštívit</b>,<font color='#F6358A'>i<sub>7</sub></font>]<sub>w<sub>3</sub></sub> &and; [<b>ministr</b><sub>w<sub>3</sub>t<sub>4</sub></sub>,<font color='#FF0000'>i<sub>5</sub></font>] &and; [<b>doprava</b><sub>w<sub>3</sub>t<sub>4</sub></sub>,<font color='#FF0000'>i<sub>5</sub></font>] &and; [<b>ČR</b><sub>w<sub>3</sub>t<sub>4</sub></sub>,<font color='#FF0000'>i<sub>5</sub></font>]<span style=\"font-size:140%\">)</span><span style=\"font-size:160%\">]</span>,<b>Anytime</b><span style=\"font-size:180%\">]</span>...&pi;"
    ], 
    "trees": 34, 
    "tex": [
        "$\\lambda w_{1}\\lambda t_{2}\\Biggl[\\tr{P}_{t_{2}},\\biggl[\\tr{Onc}_{w_{1}},\\lambda w_{3}\\lambda t_{4}(\\exists i_{5})(\\exists x_{6})(\\exists i_{7})\\Bigl(\\bigl[\\tr{Does}_{w_{3}t_{4}},i_{5},[\\tr{Perf}_{w_{3}},x_{6}]\\bigr]\\ {}\\land{}\\ [\\tr{Ostravsko}_{w_{3}t_{4}},i_{7}]\\ {}\\land{}\\ x_{6}=[\\tr{navštívit},i_{7}]_{w_{3}}\\ {}\\land{}\\ [\\tr{ministr}_{w_{3}t_{4}},i_{5}]\\ {}\\land{}\\ [\\tr{doprava}_{w_{3}t_{4}},i_{5}]\\ {}\\land{}\\ [\\tr{ČR}_{w_{3}t_{4}},i_{5}]\\Bigr)\\biggr],\\tr{Anytime}\\Biggr]\\dots \\pi{}$"
    ], 
    "construction": [
        "lV(w18/w)(lV(t19/t)([[O(P/((o(o(ot))(ot))t)),V(t19/t)],[[O(Onc/(((o(ot))((ot)w))w)),V(w18/w)],lV(w16/w)(lV(t17/t)([O(Exi/(o(oi))),lV(i15/i)([O(Exi/(o(o(o(o((ot)w))(o((ot)w)))))),lV(x13/(o(o((ot)w))(o((ot)w))))([O(Exi/(o(oi))),lV(i14/i)([O(and/(ooo)),[O(and/(ooo)),[O(and/(ooo)),[[[O(Does/(((oi(o(o((ot)w))))t)w)),V(w16/w)],V(t17/t)],V(i15/i),[[O(Perf/(((o(o((ot)w)))(o(o((ot)w))(o((ot)w))))w)),V(w16/w)],V(x13/(o(o((ot)w))(o((ot)w))))]],[[[O(Ostravsko-4/(((oi)t)w)),V(w16/w)],V(t17/t)],V(i14/i)]],[O(=/(o(o(o((ot)w))(o((ot)w)))(o(o((ot)w))(o((ot)w))))),V(x13/(o(o((ot)w))(o((ot)w)))),[[O(navštívit-3/(((o(o((ot)w))(o((ot)w)))w)i)),V(i14/i)],V(w16/w)]]],[O(and/(ooo)),[[[O(ministr-0/(((oi)t)w)),V(w16/w)],V(t17/t)],V(i15/i)],[O(and/(ooo)),[[[O(doprava-1/(((oi)t)w)),V(w16/w)],V(t17/t)],V(i15/i)],[[[O(ČR-2/(((oi)t)w)),V(w16/w)],V(t17/t)],V(i15/i)]]]])])])]))],O(Anytime/(ot))]))...((ot)w)"
    ], 
    "ctext": [
        "lw1lt2[T(P)t2,[T(Onc)w1,lw3lt4(Exi i5)(Exi x6)(Exi i7)([[T(Does)w3,t4],i5,[T(Perf)w3,x6]] and [[T(Ostravsko)w3,t4],i7] and x6 = [T(navštívit),i7]w3 and [[T(ministr)w3,t4],i5] and [[T(doprava)w3,t4],i5] and [[T(ČR)w3,t4],i5])],T(Anytime)]...pi"
    ]
}